Re-representation in a Logic-Based Model for Analogy Making

Analogical reasoning plays an important role for cognitively demanding tasks. A major challenge in computing analogies concerns the problem of adapting the representation of the domains in a way that the analogous structures become obvious, i.e. finding and, in certain circumstances, generating appropriate representations that allow for computing an analogical relation. We propose to resolve this re-representation problem of analogy making in a logical framework based on the antiunification of logical theories. The approach is exemplified using examples from qualitative reasoning (naive physics) and mathematics.